Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
371	Efficient Selectivity Estimation by Histogram Construction based on Subspace Clustering A. Khachatryan, E. Müller, K. Böhm, J. Kopper Institute for Program Structures and Data Organization (IPD) SSDBM‘Jul Add to Reading List Source URL: ssdbm2011.ssdbm.org Language: English - Date: 2011-09-01 19:37:02 Nonparametric statistics Histogram Cluster analysis Query optimization
372	Utah Cost of CrimeThis paper briefly describes Utah’s approach to creating a new management tool to maximize the money spent on criminal justice programs. Overview Add to Reading List Source URL: justice.utah.gov Language: English - Date: 2013-01-23 17:52:52 Impact assessment Project management Evaluation Program evaluation Costbenefit analysis
373	Search Based Software Engineering: Foundations, Challenges and Recent Advances Marouane Kessentini SBSE Research Lab, CIS Department, College of Engineering and Computer Science, Add to Reading List Source URL: wcci2016.org Language: English Software engineering Software quality Program analysis Search-based software engineering Software testing SBSE Mark Harman Code refactoring Computer science
374	LEADS, a research-oriented calipers program for computer-assisted vectorcardiography-based ECG analysis Sumche Man, Harmen H.M. Draisma, Hedde van de Vooren, Arie C. Maan, Cees A. Swenne Cardiology Department, Leiden Uni Add to Reading List Source URL: www.malt-meeting.net Language: English - Date: 2014-04-07 06:48:27 Cardiac electrophysiology Electrocardiography QRS complex QT interval Vectorcardiography T wave
375	A Mini-conference on Bayesian Methods at Lund University 5th of February, 2016 Room C121, Lux building, Helgonavägen 3, Lund University. www.lucs.lu.se/bayes-at-lund-2016/ Program Add to Reading List Source URL: www.sumsar.net Language: English - Date: 2016-08-11 05:49:04 Statistical inference Statistical theory Bayesian inference Statistical forecasting Bayesian statistics Bayesian network Meta-analysis Bayesian Bayesian probability
376	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe
377	Remote Sensing of Environment–120 Contents lists available at ScienceDirect Remote Sensing of Environment journal homepage: www.elsevier.com/locate/rse Add to Reading List Source URL: remotesensing.montana.edu Language: English - Date: 2015-09-30 15:04:24 Imaging Remote sensing Spectroscopy Landsat program Earth observation satellites Test set Multispectral image Geographic information system Data analysis Landsat 7 Hyperspectral imaging Multiple comparisons problem
378	CUREE Publication No. W-21 A Computer Program for Seismic Analysis of Woodframe Structures Bryan Folz André Filiatrault Add to Reading List Source URL: www.curee.org Language: English - Date: 2016-04-13 19:10:35 Earthquake engineering Seismic analysis California Institute of Technology Earthquake Engineering Research Institute Rutherford + Chekene Northridge earthquake Earthquake insurance Southern California Earthquake Center Earthquake
379	C o n v er g en c e Ro ma n ia F in a n c ia l Sec t or M o der n iza t ion Spec ial Pr o j ec t s Init iat ive Publ ic -Pr ivat e St eer ing C o mmit t ee RIA Capacity Building Program Introductory Remarks Oana Nedelesc Add to Reading List Source URL: www.spi-romania.eu Language: English - Date: 2007-07-17 13:42:45 Administrative law Impact assessment Regulation Regulatory Impact Analysis
380	Reducing negative impact and strengthening capacity What role can the program/ project/organisation play to reduce the impact of environmental problems and strengthen the capacity of rights holders Add to Reading List Source URL: www.environmentallens.org Language: English - Date: 2013-05-15 09:20:25 Environmental economics Environmental management Environmentalism Environmental design Environmental impact assessment Sustainable development Sustainability Environmental systems analysis Environmental history

UPDATE